Encoding Monomorphic and Polymorphic Types
نویسندگان
چکیده
منابع مشابه
Encoding Monomorphic and Polymorphic Types
Most automatic theorem provers are restricted to untyped logics, and existing translations from typed logics are bulky or unsound. Recent research proposes monotonicity as a means to remove some clutter. Here we pursue this approach systematically, analysing formally a variety of encodings that further improve on efficiency while retaining soundness and completeness. We extend the approach to r...
متن کاملPolymorphic components for monomorphic languages
Most procedural programming languages, due to their restricted type systems, do not allow for polymorphic software components in the style of functional languages. Such polymorphism however greatly increases the potential for component reuse, while still guaranteeing the security of strong typing. In this paper, we show how to obtain polymorphic software components for “ordinary” languages like...
متن کاملAsymmetric Games in Monomorphic and Polymorphic Populations
Evolutionary game theory is an increasingly important way to model the evolution of biological populations. Many early models were in the form of matrix games, or bimatrix games in asymmetric situations when individuals occupy distinct roles within the contest, where rewards are accrued through independent contests against random members of the population. More recent models have not had the si...
متن کاملFrom Monomorphic to Polymorphic Well-Typings and Beyond
Type information has many applications; it can e.g. be used in optimized compilation, termination analysis and error detection. However, logic programs are typically untyped. A well-typed program has the property that it behaves identically on well-typed goals with or without type checking. Hence the automatic inference of a well-typing is worthwhile. Existing inferences are either cheap and in...
متن کاملGene co - expression modules underlying polymorphic and monomorphic zooids in
Advances in sequencing technology have forced a quantitative revolution in Evolutionary Biology. One important feature of this renaissance is that comprehensive genomic resources can be obtained quickly for almost any taxon, thus speeding the development of new model organisms. Here we analyze 20 RNA-seq libraries from morphologically, sexually, and genetically distinct polyp types from the gon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2017
ISSN: 1860-5974
DOI: 10.2168/lmcs-12(4:13)2016